Ocelot Rela%onal Logic in a Solver-Aided Language James Bornholt Emina Torlak

Source URL: alloytools.org

• Fiction
• Formal methods
• Military personnel
• Alloy
• Massachusetts Institute of Technology
• Z notation
• Revolver Ocelot
• Ocelot
• Digital subscriber line

James J Porter web: jamesporter.me mail: Experience Software Engineer, NovemberNovember 2015

Source URL: www.jamesporter.me

• Computing
• Software engineering
• Software
• Cross-platform software
• High-level programming languages
• Scripting languages
• Computational notebook
• JavaScript
• Web programming
• IPython
• PostgreSQL
• Python

SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog

Source URL: www.kestrel.edu

• Computing
• Parallel computing
• Computer programming
• Software engineering
• Data parallelism
• Proteus
• Implicit parallelism
• Concurrent computing
• Parallelism
• Scala

Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak

Source URL: unsat.cs.washington.edu

• Mathematical logic
• Model theory
• Metalogic
• Mathematics
• First-order logic
• Relational algebra
• FO
• Structure
• Relational
• Interpretation
• Computation tree logic

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Verification
• Technology
• Refinement
• Specification
• File system
• Evaluation
• Business

PDF Document

Source URL: james-hawthorne.oucreate.com

PDF Document

Source URL: james.grimmelmann.net

PDF Document

Source URL: james.grimmelmann.net

PDF Document

Source URL: james-hawthorne.oucreate.com

PDF Document

Source URL: www.andrew-james.co.uk